Formal patterns for multirate distributed real-time systems
نویسندگان
چکیده
منابع مشابه
Formal Patterns for Multi-rate Distributed Real-Time Systems
• Formally defines the Multirate PALS synchronizer for distributed multirate systems. • Proves the correctness of Multirate PALS. • Uses Multirate PALS on a distributed control algorithm for turning an airplane. a r t i c l e i n f o a b s t r a c t Distributed real-time systems (DRTSs), such as avionics and automotive systems, are very hard to design and verify. Besides the difficulties of asy...
متن کاملFormal Analysis for Embedded Real-Time Systems
Timed systems are notoriously hard to debug and to verify because the continuous nature of time allows vast numbers of different behaviors; embedded systems must often deal with faults, and these introduce another dimension of complexity. Simulation and testing provide little assurance in these domains because they can visit only a small fraction of the possible behaviors. Formal methods of ana...
متن کاملDistributed Objects for Real-time Control Systems
In this paper we will show how object-oriented techniques can be used for the structuring and implementation of large real time control systems. We map the physical system into a set of selfcontained software models internal resources that interact through high-level messages. These objects encapsulate specific control aspects from the synchronization necessities of the overall system. The sync...
متن کاملVirtual machines for distributed real-time systems
The steady increase in raw computing power of the processors commonly adopted for distributed real-time systems leads to the opportunity of hosting diverse classes of tasks on the same hardware, for example process control tasks, network protocol stacks and man–machine interfaces. This paper describes how virtualization techniques can be used to concurrently run multiple operating systems on th...
متن کاملTowards Distributed Objects for Real-Time Systems
This paper illustrates that several of the new features speci$ed in the revised Ada standard facilitate programming real-time distributedparallel applications. In particular; the Ada Distributed Systems Annex supports both statically bound and the more object-oriented dynamically bound remote procedure calls. These features are used to implement a paradigm for composing asynchronous remote proc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.09.010